Entmischungsvorg�nge und Auftreten von Druckdifferenzen in der positiven S�ule der Edelgase und ihre Erkl�rung durch den elastischen Elektronensto�. Folgerungen f�r isotope Edelgase

Editorial zu den Schwerpunktthemen: Informationssysteme in der Finanzwirtschaft, Neue Organisationsformen und ihre Unterstützung durch IV

Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada

Sowohl die Qualität der entwickelten Software und ihre Fehlerquote als auch ihre Kosten in der Wartungsphase sind trotz Softwareentwicklungsumgebungen, Vorgehensmodellen und Werkzeugen nicht befriedigend. Zuverlässige Software für den Dauerbetrieb muss erhöhten Anforderungen genügen. Um sowohl Qualitätsanforderungen als auch Kosten in den Griff zu bekommen, sind Modelle unterschiedlichen Detail...

das g?ttliche aus der sicht rumis und der romantiker

die kultur eines jeden landes kann als ein nicht in sich abgeschlossenes system angesehen werden, das durch das handeln der menschen, durch anpassung, ubernahme, bereicherung etc. mit unterschiedlichem grad der dynamik, st?ndig im wandel ist. als eine ihrer auspr?gungen, werden in der literatur verschiedener kulturkreise die interkulturellen gemeinsamkeiten deutlich sichtbar. der ursprung vorha...

Probleme der Datenverarbeitung und Modellanwendung bei der Simulation potenzieller hydrologischer Folgen durch den globalen Klimawandel

Veränderungen, die den Wasserhaushalt betreffen, gehören zu den Schlüsselproblemen im Zusammenhang mit Klimaänderungen. Sie spielen sich in unterschiedlichen räumlichen und zeitlichen Skalen ab, weshalb die globalen Veränderungen räumlich mit deutlich ausgeprägten regionalen Mustern in Erscheinung treten. Die Methodenwahl für das regionale Downscaling der globalen Klimasignale sollte unter Berü...

Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik

Diese Arbeit präsentiert eine neue Methode zur Sicherheitsanalyse von Software im Bereich der Manipulationsprüfung und der Einhaltung von Informationsflüssen zwischen verschiedenen Sicherheitsniveaus. Program-Slicing und Constraint-Solving sind eigenständige Verfahren, die sowohl zur Abhängigkeitsbestimmung als auch zur Berechnung arithmetischer Eigenschaften verwendet werden. Die erstmalige Ko...